FROM debian:stretch-slim
MAINTAINER Mike Spivey <mike@cs.ox.ac.uk>
RUN apt-get update && apt-get install -y tcl time libgmp10 libffi6
ADD pipe runme /
